Zhu Min

Results: 38



#Item
1

KRust: A Formal Executable Semantics of Rust Feng Wang∗ , Fu Song∗ , Min Zhang† , Xiaoran Zhu† and Jun Zhang∗ ∗ School † Shanghai of Information Science and Technology, ShanghaiTech University, Shanghai, C

Add to Reading List

Source URL: sist.shanghaitech.edu.cn

Language: English - Date: 2018-07-06 22:20:16
    2Software engineering / Computing / Computer programming / Functional languages / Concurrent programming languages / Procedural programming languages / High-level programming languages / Object-oriented programming / Immutable object / This / Rust / Const

    KRust: A Formal Executable Semantics of Rust Feng Wang∗, Fu Song∗, Min Zhang† , Xiaoran Zhu† and Jun Zhang∗ ∗ School arXiv:1804.10806v1 [cs.PL] 28 Apr 2018

    Add to Reading List

    Source URL: arxiv.org

    Language: English - Date: 2018-04-30 20:45:20
    3

    Onix: A Distributed Control Platform for Large-scale Production Networks Teemu Koponen∗ , Martin Casado∗ , Natasha Gude∗ , Jeremy Stribling∗ , Leon Poutievski† , Min Zhu† , Rajiv Ramanathan† , Yuichiro Iwat

    Add to Reading List

    Source URL: static.usenix.org

    Language: English - Date: 2010-09-23 11:16:30
      4

      Different Users, Different Opinions: Predicting Search Satisfaction with Mouse Movement Information Yiqun Liu† , Ye Chen† , Jinhui Tang‡ , Jiashen Sun? , Min Zhang† , Shaoping Ma† , Xuan Zhu? † Tsinghua Nati

      Add to Reading List

      Source URL: www.thuir.cn

      Language: English - Date: 2015-05-11 02:47:41
        5

        GSA General Assembly Minutes of Dec 4th, The meeting was called to order at 4:35pm by GSA President Zhe He. 2) Attendees: E–board: Zhe He, Kirtan Shah, Min Zhang, Heng Wang, Yalin Zhu, Tejas Agarwal Voting Memb

        Add to Reading List

        Source URL: gsa.njit.edu

        Language: English - Date: 2015-09-30 14:13:36
          6

          GSA General Assembly Minutes of September 26th , The meeting was called to order at 4:35pm by GSA President Zhe He 2) Attendees: E–board: Zhe He, Kirtan Shah, Min Zhang, Heng Wang, Yalin Zhu, Tejas Agarwal Voti

          Add to Reading List

          Source URL: gsa.njit.edu

          Language: English - Date: 2015-09-30 14:13:36
            7

            Detecting Promotion Campaigns in Community Question Answering Xin Li† , Yiqun Liu† , Min Zhang† , Shaoping Ma† , Xuan Zhu‡ , Jiashen Sun‡ † State Key Lab of Intelligent Technology & Systems; Tsinghua Nation

            Add to Reading List

            Source URL: www.thuir.cn

            Language: English - Date: 1969-12-31 19:00:00
              8

              B4: Experience with a Globally-Deployed Software Defined WAN Sushant Jain, Alok Kumar, Subhasree Mandal, Joon Ong, Leon Poutievski, Arjun Singh, Subbaiah Venkata, Jim Wanderer, Junlan Zhou, Min Zhu, Jonathan Zolla, Urs H

              Add to Reading List

              Source URL: conferences.sigcomm.org

              Language: English - Date: 2013-07-12 10:10:00
                9

                ImageNet classification: fast descriptor coding and large-scale SVM training Yuanqing Lin, Fengjun Lv, Shenghuo Zhu, Ming Yang, Timothee Cour, Kai Yu LiangLiang Cao, Zhen Li, Min-Hsuan Tsai,

                Add to Reading List

                Source URL: www.linyq.com

                Language: English - Date: 2010-11-04 13:32:00
                  10Cell biology / Transplantation medicine / Laboratory techniques / Bioengineering / Tissue engineering / Cytori Therapeutics / Fat transfer / Adipose tissue / Lipolysis / Medicine / Biology / Plastic surgery

                  COSMETIC Comparison of Three Different Fat Graft Preparation Methods: Gravity Separation, Centrifugation, and Simultaneous Washing with Filtration in a Closed System Min Zhu, M.D.

                  Add to Reading List

                  Source URL: www.biyougeka.com

                  Language: English - Date: 2014-11-28 02:33:57
                  UPDATE